منابع مشابه
Designing Safety-Critical Rehabilitation Robots
In recent years, robots have made substantial in-roads in the medical field and are gradually finding their way into clinical practice. Intuitive Surgical’s da Vinci® surgical robot broke ground in 1998 by performing the first tele-robotic surgery to repair a heart valve (Salisbury, 1998; Guthart & Salisbury, 2000). Accuray’s CyberKnife radiotherapy robot began treating head, neck and upper spi...
متن کاملDesigning Safety-Critical Computer Systems
40 Computer Designing Safety-Critical Computer Systems T he ubiquitous computer is firmly established as the electronic component of choice for designing systems that control safety-critical applications. Such applications can be found everywhere: aircraft fly-by-wire controls, oil and chemical processing, hospital life-support systems, manufacturing robotics, and countless other commercial and...
متن کاملDesigning Intelligent Control Systems for Safety Critical Applications
This paper presents a design methodology for behaviourbased intelligent control systems, which we argue is suited to safety critical applications. The methodology has a formal basis, and uses dynamical systems theory to prove system safety properties that are expressed in terms of Lyapunov stability. We propose a new computational model for implementation of these systems, which offers a reduct...
متن کاملSafecharts for Specifying and Designing Safety Critical Systems
This paper proposes a novel variant of Statecharts, called Safecharts, especially for use in the speciication and the design of safety critical systems. The objective is to provide a sharper focus on safety issues and a systematic approach to deal with them. This is achieved by making a clear separation between functional and safety requirements. A novel feature of Safecharts is the safety anno...
متن کاملDesigning safety-critical systems: A Convergence of Technologies
A brief overview of the fields that must be considered when designing safety-critical systems is presented. Proper application of these fields allows a holistic (dependability achieved at all system levels) approach for designing safety-critical systems. The fields to be considered are: application domain, embedded systems, protocol and networks, safety and reliability, real-time, and systems e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ergonomics in Design: The Quarterly of Human Factors Applications
سال: 2016
ISSN: 1064-8046
DOI: 10.1177/1064804616659058